：‏对于谓词公式，以下说法错误的是（ ）。‎A: 上述公式中的所有 y 是自由变元。B: P(x, y) 中的 x 是约束变元。C: R(x, y) 中的 x 是约束变元。D: Q(x, y) 中的 x 是约束变元。答案: R(x, y) 中的 x 是约束变元。4、